kind(e) == Case info(e) of inl(p)  locl(2of(p)) ; inr(q)  rcv(1of(1of(q)),2of(q)) 

latex

---

clarification:

kind(info;e) == Case info(e) of inl(p)  locl(2of(p)) ; inr(q)  rcv(1of(1of(q)),2of(q)) 

latex

Definitions	Case b of inl(x)  s(x) ; inr(y)  t(y), f(a), locl(a), rcv(l,tg), 1of(t), 2of(t)
FDL editor aliases	kind